Fml Fml Fml Fml
نویسندگان
چکیده
This article presents an approach for the veriication of communication properties in large-scale real-world embedded systems by means of formal methods. It is illustrated by examples and results obtained during an industrial veriication project performed for a fault-tolerant system designed and implemented by Daimler-Benz Aerospace for the International Space Station ISS. The approach is based on CSP speciications and the model-checking tool FDR. The task is split into manageable subtasks by applying an abstraction technique for restricting the speciications to the essential communication behaviour, modular-ization according to the process structure, and a set of generic theories developed for the application.
منابع مشابه
Qualitative and quantitative analysis of furosine in fresh and processed ginsengs
Background Furosine (ɛ-N-2-furoylmethyl-L-lysine, FML) is an amino acid derivative, which is considered to be an important indicator of the extent of damage (deteriorating the quality of amino acid and proteins due to a blockage of lysine and a decrease in the digestibility of proteins) during the early stages of the Maillard reaction. In addition, FML has been proven to be harmful because it i...
متن کاملEffective immunotherapy against canine visceral leishmaniasis with the FML-vaccine.
The potential effect of the fucose mannose ligand (FML)-vaccine on immunotherapy of canine visceral leishmaniasis was assayed on five mongrel dogs experimentally infected with Leishmania donovani and on 21 Leishmania chagasi naturally infected dogs when seropositive to FML but completely asymptomatic. The clinical signs of the experimentally infected, symptomatic dogs only disappeared after the...
متن کاملTopical Fluorometholone Treatment for Ocular Dryness in Patients With Sjögren Syndrome
The purpose of the study was to evaluate the efficacy of an ophthalmic solution containing 0.1% fluorometholone (FML) and 0.1% sodium hyaluronate (HA) for the treatment of ocular dryness in Sjögren syndrome (SS) patients.Forty SS patients were randomly assigned to the FML or cyclosporin A (CsA) treatment groups. The FML group was treated with 0.1% FML and 0.1% HA, and the CsA group was treated ...
متن کاملThe FML (Fucose Mannose Ligand) of Leishmania donovani. a new tool in diagnosis, prognosis, transfusional control and vaccination against human kala-azar.
The Fucose-Mannose Ligand (FML) of Leishmania donovani is a complex glycoproteic fraction. Its potential use as a tool for diagnosis of human visceral leishmaniasis was tested with human sera from Natal, Rio Grande do Norte, Brazil. The FML-ELISA test, showed 100% sensitivity and 96% specificity, identifying patients with overt kala-azar (p < 0.001, when compared to normal sera), and subjects w...
متن کاملRepresenting Communicative Functions in SAIBA with a Unified Function Markup Language
The SAIBA framework proposes two interface languages to represent separately an intelligent agent’s communicative functions (or intents) and the multimodal behavior determining how the functions are accomplished with a particular multimodal realization. For the functional level, the Function Markup Language (FML) has been proposed. In this paper we summarize the current status of FML as discuss...
متن کامل